Extending possibilistic logic over Godel logic

In this paper we present several fuzzy logics trying to capture different notions of necessity (in the sense of Possibility theory) for Godel logic formulas. Based on different characterizations of necessity measures on fuzzy sets, a group of logics with Kripke style semantics are built over a restricted language, namely a two level language composed of nonmodal and modal formulas, the latter moreover not allowing for nested applications of the modal operator N. Completeness and some computational complexity results are shown. Source URL: https://www.iiia.csic.es/en/node/53977 Links [1] https://www.iiia.csic.es/en/staff/pilar-dellunde [2] https://www.iiia.csic.es/en/staff/llu%C3%ADs-godo [3] https://www.iiia.csic.es/en/staff/enrico-marchioni [4] https://www.iiia.csic.es/en/bibliography?f[keyword]=458 [5] https://www.iiia.csic.es/en/bibliography?f[keyword]=794 [6] https://www.iiia.csic.es/en/bibliography?f[keyword]=793 [7] https://www.iiia.csic.es/en/bibliography?f[keyword]=792